<?hh

interface I2 {
  require implements I1;
}
$x = 1;
